Certi cation d un porte monnaie electronique
نویسندگان
چکیده
L article d ecrit l etat d avancement d un projet commun a Gemplus et a l ONERA Gemplus a d evelopp e un porte monnaie electronique s ex ecutant sur des cartes a puces supportant Java Le but du projet est de v eri er des propri et es de s ecurit e qui doivent etre satisfaites par les applets partici pant a l application Une politique de s ecurit e a et e d e nie qui associe des niveaux aux attributs et aux m ethodes et qui d e nit les ux d information autoris es entre les niveaux Nous proposons une technique bas ee sur le model checking pour v eri er que les ux d information entre applets sont
منابع مشابه
Language-Based Security
Security of mobile code is a major issue in today s global computing environment When you download a program from an un trusted source how can you be sure it will not do something undesirable In this paper I will discuss a particular approach to this problem called language based security In this approach security information is derived from a program written in a high level language during the...
متن کاملCertifying Software for High-Assurance Environments
Software certi cation processes have become so intertwined with development processes that true product certi cation which should demonstrate that the software will behave appro priately is almost never employed This de ciency calls for a new generation of certi cation processes This paper presents a methodology for certifying software systems that will be em ployed in environments with high as...
متن کاملLimited Software Warranties
Because there are di erent types of software e g language application target environment etc di erent software certi cation methodologies are needed Software process improvement schemes have not taken this approach and have therefore suf fered in widespread adoption as a result Their one approach ts all perspective is one reason why we are now seeing more customized process improvement schemes ...
متن کاملWhat is QCM ?
QCM stands for `Query Certi cate Manager'; it is a software system that has been developed at the University of Pennsylvania as part of the SwitchWare project on active networks. QCM is a Public Key Infrastructure (PKI) intended to support secure maintenance of distributed data sets like Access Control Lists (ACL's) or public key certi cate repositories. An ACL is a list of `principals', identi...
متن کاملMcDonald’s or the Michelin Guide? Revealing Quality Through Private-sector Certi...cation
In markets where buyers cannot observe the quality of sellers’ goods, there may be a role for intermediation. A certi...cation intermediary is an agent that gathers information about seller quality and reports it to buyers. This paper examines the choice of such an intermediary between selling guidebooks to buyers, privately informing them about seller quality, and selling certi...cates to the ...
متن کامل